arithmetic for CAT